Trong Rust, việc khớp mẫu không chỉ là một nhánh của luồng điều khiển—nó chính là kiến trúc của việc gán biến. Mỗi lần bạn khai báo một biến hoặc định nghĩa một hàm, bạn đang tham gia vào quá trình khớp mẫu.

1. Bản chất của việc gán biến

Khi chúng ta viết let x = 5;, chúng ta không chỉ đang gán một giá trị. Chúng ta đang khớp giá trị 5 với mẫu không thể thất bạix. Bởi vì x là một tên có thể biểu diễn bất kỳ giá trị nào, nên phép khớp luôn thành công và tạo ra một gán biến cục bộ.

2. Tham số được định dạng bằng mẫu (Bảng 18-6)

Có lẽ nhận thức sâu sắc nhất là ký hiệu hàm là các mẫu. Trong ký hiệu fn foo(x: i32), mã nguồn mong đợi một i32 và sử dụng mẫu x để gán tham số đầu vào. Điều này có nghĩa là mỗi lần gọi hàm đều thực chất là một sự kiện khớp mẫu một nhánh.

3. Sự phổ biến của các mẫu

Các mẫu mở rộng vượt xa match. Chúng xuất hiện trong for vòng lặp (phá vỡ các bộ tuple), while let các điều kiện, và thậm chí cả if let biểu thức. Nguyên tắc này Gán biến cục bộ đảm bảo rằng mã Rust luôn rõ ràng và biểu đạt tốt, dù bạn đang trích xuất dữ liệu từ một cấu trúc hay lặp qua một bản đồ băm.